1. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
2. Abstract software specifications : 1979 Copenhagen Winter school : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
86
3. Baltic computer science : selected papers
پدیدآورنده : J. Barzdins, D. Bjorner, )eds.(
کتابخانه: (طهران)
موضوع : ، Computer science -- Baltic States
رده :
QA
76
.
L28
Vol
.
502
4. Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
F577
1993
5. Logics of specification languages
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
6. Software engineering. Domains, Requirements, and Software Design With 100 Figures
پدیدآورنده : Bjorner, D.)Dines(,7391-
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering,، Computer programming
رده :
QA
76
.
758
.
B56
2006
7. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: (طهران)
موضوع : ، Ada )Computer program language(,، Computer input-output equipment
رده :
QA
76
.
L28
Vol
.
98
8. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
9. Towards an formal description of Ada
پدیدآورنده : Bjorner, Dines, 7391- ed
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Ada )Computer program language(
رده :
QA
76
.
73
.
A35
.
B5
10. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
پدیدآورنده : edited by D. Bjorner...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
رده :
QA
76
.
L28
Vol
.
252
11. VDM '90 : VDM and Z : formal methods in software development : Proceedings
پدیدآورنده : D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
428
